<?php

/**
 * @Author: xuebingsi
 * @Date:   2019-03-27 09:38:05
 * @Last Modified by:   zhibinm
 * @Last Modified time: 2019-03-27 09:38:12
 */
var_dump($num);